(fmap(f) compose safeHead) == (safeHead compose fmap(f))